Nuprl Definition : es-in-port
11,40
postcript
pdf
es-in-port(
es
;
l
;
tg
)(
e
) == if kind(
e
) = rcv(
l
,
tg
) then inl val(
e
) else inr
fi
latex
clarification:
es-in-port(
es
;
l
;
tg
)(
e
)
== if es-kind(
es
;
e
) = rcv(
l
,
tg
) then inl es-val(
es
;
e
) else inr
fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
a
=
b
,
kind(
e
)
,
rcv(
l
,
tg
)
,
inl
x
,
val(
e
)
,
inr
x
,
FDL editor aliases
es-in-port
origin
fi
fi fi
fi 
x.A(x)